Michael Pointer - PDFSEARCH.IO - Document Search Engine

Michael Pointer
Results: 48

#	Item
11	RC23638 (W0506-058) June 10, 2005 Computer Science IBM Research Report Fast Online Pointer Analysis Martin Hirzel, Daniel von Dincklage, Amer Diwan, Michael Hind Add to Reading List Source URL: www-plan.cs.colorado.edu - Date: 2008-09-19 18:00:15
12	OMEGA IV-15SI Jasná-KosodrevinaChopok, Slowakia Anlage/Ort: Jasná, Slowakei Add to Reading List Source URL: www.cwa.ch Language: English - Date: 2014-09-18 07:17:16 Varia Variichthys Michael Pointer Taxonomy Transport Jasná Chopok Ski
13	ISO/IEC JTC1 SC22 WG21 N3340=120030 Rich Pointers; Date: 20120110 Rich Pointers Document Number: ISO/IEC JTC1 SC22 WG21 N3340=120030 Date: 20120110 Authors: Dean Michael Berris Add to Reading List Source URL: www.open-std.org Language: English - Date: 2012-01-09 15:23:56 C++ Data types Cross-platform software Primitive types Memory management Pointer C Reference Garbage collection Computing Software engineering Computer programming
14	TTSSFade to Grey: Tuning Static Program Analysis Ansgar Fehnker, Ralf Huuck, Sean Seefried and Michael Tapp National ICT Australia Ltd. (NICTA) Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2012-02-08 00:45:45 Compiler construction Software bugs Static program analysis C Dead code Software testing Pointer Static single assignment form Parsing Software engineering Computing Computer programming
15	Results of Mousemap-based Usability Evaluations – Towards Automating Analyses of Behavioral Aspects Michael Gellner, Peter Forbrig, Manja Nelius University of Rostock Software Engineering Group Add to Reading List Source URL: ui4all.ics.forth.gr Language: English - Date: 2007-11-27 14:04:26 Technical communication Graphical user interface elements Graphical user interfaces Mouse Eye tracking Pointer User-centered design GUI widget User interface Humanâ€“computer interaction Usability Human–computer interaction
16	Proceedings, IEEE International Conference on Systems, Man, Cybernetics, volume 1, pages 598–603, OctoberFacial Gesture Interfaces for Expression and Communication* Michael J. Lyons ATR IRC/MIS Labs Add to Reading List Source URL: www.kasrl.org Language: English - Date: 2006-08-28 20:09:54 Computer animation Computer graphics Gesture recognition Artificial intelligence Mouse Facial expression Face Human–computer interaction Pointer Humanâ€“computer interaction User interface techniques Virtual reality
17	Automatic Verification of Pointer Programs using Monadic Second-Order Logic∗ Jakob L. Jensen, Michael E. Jørgensen, Michael I. Schwartzbach BRICS, University of Aarhus {u820406,medgar,mis}@brics.dk Nils Klarlund Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:47:37 Data types Primitive types Procedural programming languages Program logic Pointer Type theory Reference ALGOL 68 C Software engineering Computing Programming language theory
18	Tracking Bad Apples: Reporting the Origin of Null and Undefined Value Errors ∗ Michael D. Bond Nicholas Nethercote Add to Reading List Source URL: valgrind.org Language: English - Date: 2007-08-28 18:44:20 Data types Primitive types Cross-platform software Procedural programming languages Memory management Valgrind Pointer Undefined value Jikes RVM Computing Software engineering Computer programming
19	Improving Software Security with a C Pointer Analysis Dzintars Avots Michael Dalton V. Benjamin Livshits Computer Science Department Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2005-01-29 19:31:23 Data types Primitive types Static program analysis C++ Type theory Pointer C Reference Type safety Software engineering Computing Computer programming
20	OpenPOWER: Reengineering a server ecosystem for large-scale data centers Michael Gschwind IBM Power Systems Add to Reading List Source URL: www.hotchips.org Language: English - Date: 2014-07-19 19:31:07 Linux Database Java Burroughs large systems Computing Cross-platform software Pointer

UPDATE